Title	An efficient development method for plant control software using algebraic specification and software components
Author	Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Citation	Vol. 6  No. 1  pp. 69~80
Keywords	Plant, control software, algebraic specification, software components, integrated development environment

Title	Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
Author	Zhenhua Yu, Yuanli Cai
Citation	Vol. 6  No. 1  pp. 123~131
Keywords	Multi-agent systems, software architecture, architecture description language, Object-Oriented Petri nets, BDI model

Title	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling

Title	Analyzing Impacts of Software Diversity on Worm Propagation in Peer-to-Peer Networks
Author	Ying Zhou, Zhong-fu Wu, Feng Li, Hao Wang, Zheng-zhou Zhu
Citation	Vol. 6  No. 2  pp. 219~225
Keywords	Peer-to-Peer Network, Peer-to-Peer Worm, Software Diversity, Worm Propagation.